Resolution theorem proving
[计] 归结定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
He's a nice man.
他是个好人。
Misers put their back and their belly into their pockets.
爱财如命。
It was his job to repair bicycles and at that time he used to work fourteen hours a day.
他那时的工作是修理自行车，并且通常是一天工作14个小时。